Solvable Set/Hyperset Contexts: III. A Tableau System for a Fragment of Hyperset Theory
نویسندگان
چکیده
We propose a decision procedure for a fragment of the hyperset theory, HMLSS, which takes inspiration from a tableau saturation strategy presented in [3] for the fragment MLSS of well-founded set theory. The procedure alternates deduction and model checking steps, driving the correct application of otherwise very liberal rules, thus significantly speeding up the process of discovering a satisfying assignment of a given HMLSS-formula or proving that no such assignment exists.
منابع مشابه
From Set to Hyperset Unification
In this paper we show how to extend a set unification algorithm— that is, an extended unification algorithm incorporating the axioms of a simple theory of sets—to hyperset unification (roughly speaking, to sets in which membership can form cycles). This result is obtained by enlarging the domain of terms (hence, trees) to that of graphs involving free as well as interpreted function symbols (na...
متن کاملAutonomy and hypersets
This paper has two primary aims. The first is to provide an introductory discussion of hyperset theory and its usefulness for modeling complex systems. The second aim is to provide a hyperset analysis of several perspectives on autonomy: Robert Rosen's metabolism-repair systems and his claim that living things are closed to efficient cause, Maturana and Varela's autopoietic systems, and Kauffma...
متن کاملHyperset approach to semi-structured databases and the experimental implementation of the query language Delta
This thesis presents practical suggestions towards the implementation of the hyperset approach to semi-structured databases and the associated query language ∆ (Delta). This work can be characterised as part of a top-down approach to semi-structured databases, from theory to practice. Over the last decade the rise of the World-Wide Web has lead to the suggestion for a shift from structured rela...
متن کاملIs Life Computable?
This paper has two primary aims. The first is to provide an introductory discussion of hyperset theory and its usefulness for modeling complex systems. The second aim is to provide a hyperset analysis of Robert Rosen’s metabolism-repair systems and his claim that living things are closed to efficient cause. Consequences of the hyperset models for Rosen’s claims concerning computability and life...
متن کاملCodes Defined by Multiple Sets of Trajectories 3
We investigate the use of shuffle on trajectories to model certain classes of languages arising in the theory of codes. In particular, for each finite set of sets of trajectories, which we call a hyperset of trajectories, we define a class of languages induced by that hyperset of trajectories. We investigate properties of hypersets of trajectories and the associated classes of languages, includ...
متن کامل